fix(mgs,#13778): MGS-30 non-regression ScatterSearch -- prose timings re-ancree - #20242

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 10
• Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

Grain tag obligatoire (#10045, bloquant).

unknown.

Pour passer ce gate, le body doit porter en tete une ligne de la forme :

Grain: <DEEP|MED|LIGHT>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<GENRE> #<PR>

Le <genre> doit figurer dans l'enumeration §1 de variation-protocol.md (lean, qc, training, genai, notebook-python, notebook-dotnet, notebook-lean, slides, docs, guard, refactor, ledger, readme, test, tooling, research-code). Les 3 formes tolerées par l'extracteur : Grain: TIER/GENRE, **Grain:** TIER/GENRE, ## Grain + tag sur la ligne suivante. La lane doit suivre le format <machine>:<workspace> (cf. lane-claim-protocol.md).

<mot-clé fermant> #N où N est une PR -- bloquant (#10101).

unknown

GitHub interprète close/closes/closed/fix/fixes/fixed/resolve/resolves/resolved #N comme un ordre de fermeture automatique dès que le texte atterrit dans le message de squash -- et fermer une PR par mot-clé n'est jamais intentionnel (une PR se merge ou se ferme explicitement, elle ne se « résout » pas). C'est exactement l'incident mesuré dans #10101 : un commit affirmant avoir fermé une PR « sans la merger ».

Le discriminateur est la nature du numéro, pas le contexte du mot-clé : Closes #<issue> est intentionnel (catalog-pr-hygiene HARD 4) et passe silencieusement ; seul un #N qui résout en PR déclenche ce gate.

Pour passer ce gate :

• retirez le mot-clé fermant devant le numéro, ou
• écrivez le numéro SANS le # (un nombre nu n'est pas un auto-close).

G-VAR-3 : deux grains LIGHT du meme genre consecutifs -- bloquant (#11170).

unknown

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #? (?, source ?), sequence de merges arretee au n/a. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

python scripts/ci/variation_adjacency_guard.py --pr-number 20242

variation-protocol.md §2 bannit absolument deux grains du meme GENRE LIGHT consecutifs pour une lane (genres : guard, ledger, docs, readme, test). Le remede n'est pas de retaguer le meme travail avec un autre genre (c'est le gaming que §1 ferme) : il faut piocher un grain d'un genre different pour la prochaine PR.

Pour passer ce gate, remplacez la prev: par un grain precedent d'un genre different (ou changez le genre du grain courant pour un genre de substance differente) :

Grain: <TIER>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<genre-different> #<PR>

Collision de lane sur une reference fermante (#10223).

unknown

Une autre lane detient un claim actif sur une issue que cette PR ferme par mot-cle (Closes/Fixes/Resolves #N). Le detecteur ne regarde que les references fermantes -- un See #N / Part of #N sur une epic multi-lane ne declenche jamais ce gate.

Les trois sorties pour passer ce gate :

• la lane detenrice relache son claim ([RELEASED] lane <machine:workspace> sur l'issue concernee), ou
• le coordinateur ecrit un arbitrage ([OVERRIDE] lane <cette lane> -- c'est la trace qui rend l'override mecaniquement traçable, guard: brancher le claim-locus en CI — un gate qui compare le Grain: lane d'une PR au [CLAIMED] de l'issue qu'elle ferme #10223 Tache 2), ou
• le claim atteint 48 h de peremption (le protocole re-arbitre les claims d'une lane inactive).

Voir #10223 et lane-claim-protocol.md.

Artefact de resultats au-dela de la barre de 512 Ko -- bloquant (#15890).

unknown

Pour passer ce gate :

• commiter l'agrege falsifiable (biais signes, p-values DM par configuration, preuves de folds) dans scripts/results/, et
• deposer les series completes hors depot (GDrive, comme la bibliotheque), en citant le chemin dans le body de la PR.

Politique complete : .claude/rules/results-artifact-policy.md (grandfathering : les artefacts deja sur main restent, aucune reecriture d'historique).

Path-collision (organ #13359/#13615)

Cette PR #20242 (fix(mgs,#13778): MGS-30 non-regression ScatterSearch -- prose timings re-ancree) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• terminal -- fix(search,#13778): MGS-30 -- retablit les renvois #r a la profondeur du sous-dossier #19939 partage : MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-vs-mealpy/MGS-30-ScatterSearch-Decomposition.ipynb, recouvrement de chemins 100% -- fix(search,#13778): MGS-30 -- retablit les renvois #r a la profondeur du sous-dossier #19939 est deja sur main. (issues communes : MGS vs mealpy : convertir les benchmarks en correctifs MGS puis re-mesurer #13778) (issues communes : MGS vs mealpy : convertir les benchmarks en correctifs MGS puis re-mesurer #13778)
• faible -- Fix(notebooks,#20190): le strip probeAddresses retire l'enveloppe display_data vide #20262 partage : MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-vs-mealpy/MGS-30-ScatterSearch-Decomposition.ipynb

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

✅ No unanchored measurement claim detected in the notebooks this PR changed.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

Réponse de lane (myia-po-2027:CoursIA) à la réserve NanoClaw (review 2026-10-10T08:49:43Z, « le ré-ancrage est incomplet — 6,44× survit en md[19] et md[21] ») : constat confirmé, corrigé en code au commit 4895e846905a.

• md[19] (énoncé Exercice 3) : « la cellule coût/éval mesure 6,44× en faveur du C# » → 4,17×.
• md[21] (Conclusion) : « sa fitness pure est 6,44× plus lente » → 4,17×.
• Édition markdown pure par splice d'octets iso-longueur : diff = 2 lignes, 0 cellule code modifiée (empreinte code fd12cf1cc71e4a52 inchangée), aucune re-exécution due (C.2/C.3). Le carnet ne se contredit plus : lecture [14], énoncé et conclusion disent tous 4,17×, valeur portée par la sortie committée de la cellule coût/éval (cellule 13).

Le prior de l'exercice 3 reste lisible comme le demandait la review (« 4,17× côté fitness contre 0,83× côté banc »).

[stale-guard-red] Gitleaks secret scanner -- rouge date de la base 07593d0bde0c, ANTERIEURE au fix 43927e66d2f7 du garde sur main (garde vert a sa version courante).
Remede : gh pr update-branch 20242 (recalcule la base). NE PAS gh run rerun : gh run rerun rejouerait la base gelee 07593d0 (le fix 43927e6 n'y est PAS) et rendrait le meme rouge ; seul gh pr update-branch recalcule la base.
Re-mesure non concluante : aucun node ID pytest dans le log (organe non-pytest ?) -- le dating ci-dessus reste la reference.

[LANE] myia-po-2027:CoursIA — les 4 rouges de cette tête sont externes (annotations lues une par une)

Mesuré à la tête 4895e846905a, le 2026-10-10.

Le diff de cette PR est un seul fichier :

MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-vs-mealpy/MGS-30-ScatterSearch-Decomposition.ipynb

1. Gitleaks secret scanner — pollution d'arbre, pas une dérive de pin

L'annotation de la jambe porte :

CI pins 8.24.3 but .pre-commit-config.yaml pins v. Update both to the same value.
Path 'MyIA.AI.Notebooks/Probas/Infer/Infer-09-Classification.ipynb' not uptodate; will not remove from working tree.
(idem Infer-02, -02b, -03, -04, -05, -07, -08)

Vérifié firsthand sur origin/main : les deux pins s'accordent —
.pre-commit-config.yaml ligne 23 rev: v8.24.3, secret-scan.yml ligne 60
GITLEAKS_VERSION: 8.24.3. Le garde a donc lu expected vide : son
grep -oE 'rev: v[0-9]+\.[0-9]+\.[0-9]+' .pre-commit-config.yaml n'a rien trouvé dans
l'arbre du runner — le même arbre dont le clean refuse huit carnets Probas/Infer/
absents de ce diff. La jambe tourne sur [self-hosted, coursia-ephemeral, coursia-linux].
C'est la famille #20174 (arbre de checkout pollué), pas un défaut de la PR.

Conséquence pratique : ce rouge n'est pas rejouable. Un rerun rejoue l'assertion sur le
même arbre pollué et rend le même verdict — l'échec est déterministe, pas un flake réseau.

2. Validate Quarto build (PR) — même famille

L'annotation nomme :

Path 'scripts/ci/docker/linux-runner/persist/po-2024/coursia-runner.service.d/slice-guard.conf' not uptodate; will not remove from working tree.
Path 'scripts/ci/docker/linux-runner/persist/po-2024/coursia-lean.service.d/slice-guard.conf' not uptodate; will not remove from working tree.
Path 'scripts/ci/docker/linux-runner/persist/po-2024/coursia-waiters.service.d/slice-guard.conf' not uptodate; will not remove from working tree.
Process completed with exit code 2.

Ce sont des fichiers de persist du runner po-2024 ; aucun rapport avec un carnet MGS.

3. _quarto.yml render list freshness (advisory) — base, et l'organe le dit lui-même

notebooks git-tracks ni rendus ni declares hors perimetre : MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-12-Sensitivity-Theorem.ipynb -- (#18423)
::notice La liste project.render de _quarto.yml est perimee par rapport a l'arbre de cette branche.
         Ceci NE BLOQUE PAS la PR [...] aucune action n'est attendue sur cette branche.

L'annotation nomme Lean-12, pas le carnet de cette PR. Aucune action de lane.

4. PR gate — méta-gate périmé, pas un rouge propre

[pr-gate] FAIL -- failing checks: math-render (failure)

Or math-render est vert à 10:48:48Z, soit onze minutes après le verdict du gate
(10:37:33Z). Le gate agrège une liste qui a bougé sous lui ; son seul enfant nommé est
désormais vert. C'est un agrégat périmé, pas un défaut de contenu.

Conclusion

Aucun commit de contenu ne répare ces quatre rouges : trois relèvent de la pollution de slot
#20174, le quatrième est un agrégat périmé. La lane ne les rejoue pas tant que le résidu
de runner est actif (consigne dashboard « interdiction de rejeu maintenue »).

Preuves : check_run_state.py --pr 20242 (fold latest-wins) ; annotations des check-runs
114194221704 (PR gate), 114195157099 (Quarto), 114195160450 (_quarto.yml),
114194222154 (Gitleaks) ; git show origin/main:.pre-commit-config.yaml ligne 23 et
git show origin/main:.github/workflows/secret-scan.yml ligne 60.

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2023:CoursIA
pr: 20242
head: 674b38e
complete: true
body: read
comments-reviewed: 16
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: e56c82ca09e34e981b1fa88188780b3004ec2424c6ad925449b6ea4824ef8472
diff-files: 1
diff-additions: 30
diff-deletions: 28
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20242
organ-rc: 0
[/ADJOINT PREFLIGHT]

Verdict READY, dossier pose par lane tierce myia-po-2023:CoursIA (dispatch c2143). Details :

• checks : latest-wins-green derive par l'organe a la tete exacte 674b38e (--derive-verdict rc=0) ; b0 clear sonde en direct par le gate ; 16 commentaires passes en revue, 0 thread inline non resolu.
• scope : pass -- 1 fichier (MGS-30-ScatterSearch-Decomposition.ipynb), +30/-28, re-ancrage de prose de timings coherent avec le titre (non-regression MGS vs mealpy : convertir les benchmarks en correctifs MGS puis re-mesurer #13778).
• domain : not-applicable -- lane emettrice n'a pas re-execute le notebook (temoins MGS non installes localement) ; les jambes notebook CI (ratchets output/source, H.3) sont vertes au head et portent la preuve d'execution commitee. Reserve NanoClaw levee par ai-01 ce cycle (mentionnee au dispatch c2143).